$\forall$$i_{1}$, $i_{2}$, $j_{1}$, $j_{2}$:$\mathbb{Z}$. ($i_{1}$ = $j_{1}$) $\Rightarrow$ ($i_{2}$ = $j_{2}$) $\Rightarrow$ ($i_{1}$+$i_{2}$ = $j_{1}$+$j_{2}$)